A transformational characterization of if-then-else
نویسندگان
چکیده
منابع مشابه
Representing Boolean Functions with If-Then-Else DAGs
This article describes the use of binary decision diagrams (BDDs) and if-then-else dags for representing and manipulating Boolean functions. Two-cuts are de ned for binary decision diagrams, and a relationship is exhibited between general if-then-else expressions and the two-cuts of a BDD for the same function. An algorithm for computing all two-cuts of a BDD in O(n 2 ) time is given. A new can...
متن کاملA Study of If-Then-Else Structures in End User Programming
Information technology assumed a role of growing importance in organizations during the 1980s. It is no longer used exclusively by small groups of computer specialists; but, rather, office automation and end user computing (EUC) are used by workers at all levels and in all areas of an organization. This study attempts to gain an understanding of factors associated with the use of EUC. The prese...
متن کاملIf not appendicitis, then what else can it be? A retrospective review of 1492 appendectomies.
OBJECTIVE To audit the appendectomies at our institute, and summarise atypical pathological results with a discussion of appropriate management. DESIGN. Retrospective study. SETTING Regional hospital, Hong Kong. PATIENTS All patients who underwent appendectomy for presumed acute appendicitis from June 2003 to June 2008 were recruited. Incidental appendectomy was excluded. Patient demographi...
متن کاملAxiomatization of if-then-else over monoids of possibly non-halting programs and tests
In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, the notion of C-sets was introduced in the literature by considering the tests from an abstract C-algebra. This paper extends the notion of C-sets to C-monoids which include the composition of programs as well as composition of programs with tests. For the class of C-monoids where th...
متن کاملOn the structure of C-algebras through atomicity and if-then-else
This paper introduces the notions of atoms and atomicity in $C$-algebras and obtains a characterisation of atoms in the $C$-algebra of transformations. Further, this work presents some necessary conditions and sufficient conditions for the atomicity of $C$-algebras and shows that the class of finite atomic $C$-algebras is precisely that of finite adas. This paper also uses the if-then-else acti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1990
ISSN: 0304-3975
DOI: 10.1016/0304-3975(90)90052-j